An Extensible SAT-solver
http://minisat.se/downloads/MiniSat.pdf
MiniSat
の論文
#参考文献